航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

利用微波探测仪(ATMS)对在轨微波辐射计观测精度的模拟分析

微波辐射计的观测精度及其对数值模式同化应用的影响评估是微波辐射计观测指标设计的重要参考。基于微波探测仪(ATMS)资料,利用三维变分同化系统模拟分析在轨微波辐射计的观测精度指标。针对ATMS观测误差特征,在其观测基础上增加均值为零、标准偏差分别为0.5,1.0,1.5,2.0K的正态随机扰动,进而获得不同精度的观测模拟值序列,然后利用Harris和Kelley的辐射资料偏差订正经验方法订正不同精度的观测资料。偏差订正后,利用三维变分同化模式(WRFDA)直接同化ATMS资料。通过2016年6月6h预报场的同化试验,评估了不同观测精度的模拟资料对数值模式的同化影响。     

亚超剪切混合层燃油雾化特性试验研究

为了摸清亚超大梯度剪切混合层内直射式喷嘴的燃油雾化特性，设计了用于向亚超剪切混合流中进行燃油喷射的直射式喷嘴，建立了亚超剪切混合层中燃油雾化试验系统。利用粒子图像测速系统（PIV），对亚超大梯度混合层中油雾场进行测量。通过改变喷嘴流量、喷射角度和喷嘴数量研究不同参数对雾化特性的影响，并应用图像处理技术对亚超大梯度剪切混合层内的油雾场进行分析，总结归纳其雾化规律。试验结果显示：随着流量增大，穿透深度会随之增大，破碎后的颗粒分布峰值所对应的液滴直径会逐渐变小，雾化效果提升；相同流量条件下，喷嘴的角度改变对雾化效果有影响，顺喷和逆喷的雾化效果均好于垂直喷射；逆喷的喷射高度最高，随着流量的增长，燃料将会碰壁；顺喷条件下，随着角度的增加，穿透长度会有所增加；综合燃油轨迹边界，逆喷的效果相对较好。相同流量条件下，喷孔个数的改变对雾化效果和穿透深度的影响不大。     

对策论在雷达电子战效能评估中的应用

介绍了对策论的基本内容和分析方法,包括对策论所涉及问题的要素和分类.指出了对策论在雷达电子战效能评估中应用的可行性和必要性.分析了电子对抗博弈双方采取不同对抗技术措施的得益矩阵,并在此得益矩阵的基础上,重点研究了对策论在电子对抗效能评估过程中的应用.     

燃烧催化剂苯甲酸铜盐及其衍生物的热分解研究(Ⅱ)──双取代基苯甲酸铜盐的热分解机理

羟基氨基苯甲酸铜、二羟基苯甲酸铜、二硝基苯甲酸铜和对硝基苯甲酸铜的DSC和TG热分解研究表明，与苯甲酸铜一样，它们分解都生成一种稳定的二聚作中间产物──双核铜五元环络合物，前二者还能生成一种八元环二聚体络合物。芳香基上由于引入硝基，使主要分解反应阶段由吸热效应变成放热反应，具有二个硝基取代基者，这种放热效应较只有一个硝基者更强烈。本文还初步探讨了苯甲酸铜及其衍生物分解历程与双基推进剂燃烧过程催化效果的关系。     

胶州湾环境污染—卫星遥感信息分析

陆地卫星主题绘图仪(TM)图象和我国国土普查卫星全景相机照片解译分析与现场调查表明,胶州湾东岸工业废水污染相当严重,主要污染源集中在海泊河、李村河、娄山河以及沧口区沿海一线,污染水带宽达4～7km,在落潮流携带下扩散至湾口外海。由青岛碱厂排污形成的“白滩”污染区现有面积为0.53km~2。青岛市大气污染严重,源自市区的烟羽宽达14km,顺风飘逸远达30km,势必造成酸雨等灾害。     

光栅信号时钟脉冲细分的误差分析

简介时钟脉冲细分技术的原理，着重分析其细分误差因素，给出了计算实际最大细分数的理论公式，并论述了光栅最大运动速度、时钟脉冲分频数和实际最大细分数之间的关系，对光栅信号时钟脉冲细分系统的参数设计具有指导意义。     

Flutter analysis of an airfoil with bounded random parameters in incompressible flow via Gegenbauer polynomial approximation

The effects of parameter uncertainty on the flutter characteristics of a two-dimensional airfoil in an incompressible flow were investigated through Gegenbauer polynomial approximation. The uncertain parameters, such as the linear and cubic pitch stiffness coefficients are modeled as bounded random variables with λ-PDFs (probability density functions). With the aid of Gegenbauer polynomial approximation, the two-dimensional stochastic airfoil system is transformed at first into its equivalent deterministic one. Then the Hopf-bifurcation point is determined through the equivalent deterministic system, and the onset of the flutter, together with the flutter frequency against the probability density distribution parameter and the intensity of the random variable is explored. In addition, the ranges of the peak pitch and plunge responses against the flight speed and the PDFs of the peak pitch response are obtained. Numerical results show how the probability density distribution parameters and the intensities of random parameters affect the flutter onset speed, flutter angular frequency, the upper and lower boundaries of peak responses, and the PDFs of peak responses.     

基于特征模型的全系数自适应控制系统稳定性研究

讨论了基于特征模型的黄金分割加逻辑微分自适应控制律组成闭环系统的稳定性问题。针对参数未知、线性定常或慢时变的二阶不稳定对象,本文给出了在采样周期满足一定条件下,上述闭环系统渐近稳定的充分条件,其中包含对于时变参数变化范围和非线性阻尼系数的约束条件。     

企业经济效益综合评价与分级管理方法

本文针对财政部设计的企业经济效益评价指标体系，用多目标优化方法的思想对其进行优化处理，并且数理统计方法将各指标值折算成分数以符合人们的习惯；同时，用数理分析等方法将所得的评价序列进行分级归类管理。